A topological representation of Post algebras and free Post algebras

Topological Representation of Algebras

Topological Representation of Precontact Algebras

The notions of 2-precontact and 2-contact spaces as well as of extensional (and other kinds) 3-precontact and 3-contact spaces are introduced. Using them, new representation theorems for the precontact and contact algebras (satisfying some additional axioms) are proved. They incorporate and strengthen both the discrete and topological representation theorems from [3, 1, 2, 4, 10]. It is shown t...

Subcategories of topological algebras

In addition to exploring constructions and properties of limits and colimits in categories of topological algebras, we study special subcategories of topological algebras and their properties. In particular, under certain conditions, reflective subcategories when paired with topological structures give rise to reflective subcategories and epireflective subcategories give rise to epireflective s...

ON TOPOLOGICAL EQ-ALGEBRAS

In this paper, by using a special family of filters $mathcal{F}$ on an EQ-algebra $E$, we construct a topology $mathcal{T}_{mathcal{mathcal{F}}}$ on $E$ and show that $(E,mathcal{T}_{mathcal{F}})$ is a topological EQ-algebra. First of all, we give some properties of topological EQ-algebras and investigate the interaction of topological EQ-algebras and quotient topological EQ-algebras. Then we o...

Post algebras in 3-rings

A unitary commutative ring of characteristic 3 and 3-potent is called a 3-ring. We prove that every polynomial of a 3-ring is uniquely determined by its restriction on the subring {0, 1, 2} (the Verification Theorem). Then we establish an isomorphism between the category of 3-rings and the category of Post algebras of order 3.